$\forall$$T$:Type, $P_{1}$, $P_{2}$, $P_{3}$:($T$$\rightarrow\mathbb{P}$). $P_{1}$ $\Rightarrow$ $P_{2}$ $\Rightarrow$ $P_{2}$ $\Rightarrow$ $P_{3}$ $\Rightarrow$ $P_{1}$ $\Rightarrow$ $P_{3}$